121. Symbolic and numerical scientific computation :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Differential equations ; Numerical solutions ; Congresses ; Numerical calculations ; Congresses ; Algebra ; Data processing ; Congresses ;
122. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
پدیدآورنده : edited by Manfred Kerber and Michael Kohlhase
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Algebra,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4C23
2000
123. Symbolic computation and automated reasoning: the CALCULEMUS-2000 Symposium
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Algebra-- Data processing,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4
.
C35
2000
124. Symbolic computation, number theory, special functions, physics, and combinatorics
پدیدآورنده : edited by Frank G. Garvan and Mourad E. H. Ismail
کتابخانه: (طهران)
موضوع : Congresses ، q-series,Data processing -- Congresses ، Algebra,Congresses ، Number theory,Congresses ، Functions, Special,Congresses ، Mathematical physics,Congresses ، Combinatorial analysis
رده :
QA
295
.
S97
125. Symbolic computation : solving equations in algebra, geometry, and engineering : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation : Solving Equations in Algebra, Geometry, and Engineering, Mount Holyoke College, South Hadley, MA, June 11-15, 2000
پدیدآورنده : Edward L. Green ... ]et al.[, editors
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Algebra,Data processing -- Congresses ، Equations -- Numerical solutions
رده :
QA
155
.
7
.
E4A488
2000
126. The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers
پدیدآورنده : edited by N. Inada, T. Soma
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
155
.
7
.
E4I58
1984
127. Topics in Computational Algebra
پدیدآورنده : edited by G.M. Piacentini Cattaneo, E. Strickland.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra -- Data processing -- Congresses.,Algebra -- Data processing.
رده :
QA155
.
7
.
E4
E358
1990
128. Topics in computational algebra
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Algebra- Data processing- Congresses
رده :
QA
155
.
7
.
E4
T67
1990
129. Topics in computational algebra
پدیدآورنده : edited by G.M. Piacentini Cattaneo and E. Strickland
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
155
.
7
.
E4T64
130. Trends in computer algebra : International Symposium, Bad Neuenahr, May 19-21, 1987 : proceedings
پدیدآورنده : R. Janssen, ed
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
296
131. Trends in computer algebra : international symposium, Bad Neuenahr, May 19-21, 1987 : proceedings
پدیدآورنده : R. Janssen, ed
موضوع : Algebra - Data processing - Congresses
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
132. Trends in computer algebra : international symposium, Bad Neuenahr, May 19-21, 1987 : proceedings
پدیدآورنده : R. Janssen, ed
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Data processing - Congresses ، Algebra
رده :
QA
76
.
L4
v
.
296
133. correcting codes-Applied algebra, algebraic algorithms and error
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : correcting codes (Information theory) ; Congresses. ; Algebra ; Data processing ; Congresses. ; Algorithms ; Congresses. ; Computeralgebra ; Kongress ; Tarragona <2009> ; Fehlerkorrekturcode ; Kongress ; Tarragona <2009> ; Kryptologie ; Kongress ; T-Error
